Specification guidelines to avoid the state space explosion problem

Specification Guidelines to Avoid the State Space Explosion Problem

During the last two decades we modelled the behaviour of a large number of systems. We noted that different styles of modelling had quite an effect on the size of the state spaces of the modelled system. The differences were so substantial that some specification styles led to far too many states to verify the correctness of the model, whereas with other styles the number of states was so small...

Topological Antidotes to the State Space Explosion Problem

Fluid-flow solutions to the state space explosion problem

Achieving the appropiate performance requirements for computer–communication systems is as important as the correctness of the end-result. This is particularly difficult in the case of massively parallel computer systems such as the clusters of PCs behind the likes of Google and peer-to-peer filesharing networks such as Bittorrent. Measuring the performance of such systems using a mathematical ...

The State Explosion Problem

One from main approaches to checking correctness of a concurrent system are state space methods. They are suitable for automatic analysis and verification of the behaviour of systems. In their basic form, they construct a structure that consist of all states that a system can reach, and all transitions that system can make between those states. This structure is called state space. State spaces...

A Solution to the State Space Explosion Problem in Declarative Business Process Modeling (S)